A Formal Description of Agents' Epistemic States and Environments
نویسندگان
چکیده
To reason the interaction between agents’ epistemic states and environments, the agents’ epistemic states should include ontologies of agents (the agents’ assumptions about environments), what the agents know, believe and desire, and also should include the agents’ interpretations about these symbols in ontologies onto the environments. A formal description of such agents’ epistemic states and several examples are given to show how such a description can be used to explain the puzzles in reasoning the modal sentences. For example, a sentence holding in a structure may have different consequences reasoned by different agents, because of the different epistemic states.
منابع مشابه
Conceptual Reasoning in Multi-agent Environments|partiality, Intensionality, Inconsistency and Preference Conceptual Reasoning in Multi-agent Environments
In this paper a knowledge representation language is related to a framework of Formal Concept Analysis (FCA). A logical formalism has FCA contexts on its semantic side, and formal conceptual systems as proof theories. Agents are associated with (sets of) consistent sources of information, and every source gives rise to a single theory. A family of theories is formed and it is used to build a co...
متن کاملComplete Axiomatizations of Finite Syntactic Epistemic States
An agent who bases his actions upon explicit logical formulae has at any given point in time a finite set of formulae he has computed. Closure or consistency conditions on this set cannot in general be assumed – reasoning takes time and real agents frequently have contradictory beliefs. This paper discusses a formal model of knowledge as explicitly computed sets of formulae. It is assumed that ...
متن کاملAgreement theorems for Self-Locating Belief
In this paper, I first outline Aumann’s famous “no agreeing to disagree" theorem, and a second related theorem. These results show that if two or more agents, who have epistemic and credal states that are defined over algebras that do not include any self-locating propositions, have certain information about one another’s epistemic and credal states, then such agents must assign the same creden...
متن کاملEpistemic utility theory
One of the central projects of formal epistemology concerns the formulation and justification of epistemic norms. The project has three stages: First, the formal epistemologist produces a mathematical model of an agent’s epistemic states—call this the descriptive stage. Next, she formulates, in terms of this model, putative norms that she claims govern these states—call this the normative stage...
متن کاملLattices for Dynamic, Hierarchic & Overlapping Categorization: the Case of Epistemic Communities
We present a method for hierarchic categorization and taxonomy evolution description. We focus on the structure of epistemic communities (ECs), or groups of agents sharing common knowledge concerns. Introducing a formal framework based on Galois lattices, we categorize ECs in an automated and hierarchically structured way and propose criteria for selecting the most relevant epistemic communitie...
متن کامل